Spinoza avec Vygotski : une psychologie des affects

Une mesure de similarité sémantique utilisant des résultats de psychologie

RÉSUMÉ. L’utilisation d’ontologies, c’est-à-dire de bases de connaissances, en recherche d’information est devenue une voie très explorée. Cela permet de dépasser de nombreux problèmes liés aux comparaisons terme à terme entre documents ou entre documents et requêtes, en passant à un niveau d’abstraction supérieur qui n’est pas soumis aux limitations intrinsèques à l’utilisation de mots-clés. D...

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq

Une Technique de Validation de Protocoles basée sur une Exploration avec Retour arrière des Automates Complexes

Résumé L’analyse d’accessibilité est généralement l’approche utilisée pour la validation des protocoles. Le problème posé par l’application de cette technique est celui de l’explosion combinatoire. Dans cet article, nous proposons une nouvelle technique de validation de protocoles appelée Reverse Leaping Reachability Analysis (RLRA). Au lieu de parcourir tout l’espace des états de protocole, no...

Plaintes des patients: une opportunité pour améliorer la qualité des soins des personnes âgées avec des multimorbidités au Burkina Faso

Résumé Introduction: peu de données existent sur les plaintes des patients pour identifier des pistes d’amélioration de la qualité de soins des personnes âgées avec des multimorbidités. L’objectif de cette étude était d’analyser les plaintes des personnes âgées qui présentent des multimorbidités dans les formations sanitaires à Bobo-Dioulasso, Burkina Faso. Méthodes: nous avons réalisé une étud...

Vérification des protocoles cryptographiques : Comparaison des modèles symboliques avec une application des résultats - Etude des protocoles récursifs